radio-supervised master clock - Deutsch Englisch Wörterbuch